void Defender2(Environment *env, RealEnvironment REnv);